منابع مشابه
Finite State Transformations of Images
Weighted nite automata (WFA) have been introduced as devices for computing real functions on 0; 1] n. The main motivation has been to generate functions on 0; 1] 0; 1] interpreted as gray-tone images. Weighted nite transducers (WFT) are nite state devices that serve as a powerful tool for describing and implementing a large variety of image transformations and more generally linear operators on...
متن کاملStructural transformations of probabilistic finite state machines
Probabilistic finite state machines have recently emerged as a viable tool for modelling and analysis of complex non-linear dynamical systems. This paper rigorously establishes such models as finite encodings of probability measure spaces defined over symbol strings. The well known Nerode equivalence relation is generalized in the probabilistic setting and pertinent results on existence and uni...
متن کاملLocal Encoding Transformations for OptimizingOBDD - Representations of Finite State MachinesChristoph
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
متن کاملTowards Verifiable Model Transformations: A Finite State Example
Embedded software in automotive applications is often used in safety critical applications, where the reliability of the system is of utmost importance. If a model-based development is followed, models of the code are often verified using techniques like model checking, but this in itself does not ensure that the generated code is also verified. Also, design models are often different from anal...
متن کاملFinite supersymmetry transformations
We investigate simple examples of supersymmetry algebras with real and Grassmann parameters. Special attention is payed to the finite supertransformations and their probability interpretation. Furthermore we look for combinations of bosons and fermions which are invariant under supertransformations. These combinations correspond to states that are highly entangled. ∗ On leave from Institute for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1964
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(64)90250-5